1.
Formal Methods for Quantitative Aspects of Programming Languages : 10th International School...
by Aldini, Alessandro, Bernard...
ISBN: 9783642136771
List Price: $72.00
OUT OF STOCK
See Availability on Amazon2.
From Lambda Calculus to Cybersecurity Through Program Analysis : Essays Dedicated to Chris H...
by Di Pierro, Alessandra, Mala...
ISBN: 9783030411022
List Price: $69.99